From: Elad Alfassa Date: Wed, 7 Nov 2012 13:58:33 +0000 (+0200) Subject: Rename "System Settings" to "Settings" X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~1013^2^2~5461 X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=644c210fe218d27586592d4a7e16af7aaba3c17d;p=gnome-shell.git Rename "System Settings" to "Settings" "System Settings" has been renamed to "Settings" in gnome-control-center. See bug https://bugzilla.gnome.org/show_bug.cgi?id=681543 This patch does the same rename in the shell itself, as per https://bugzilla.gnome.org/show_bug.cgi?id=687738 --- diff --git a/js/ui/userMenu.js b/js/ui/userMenu.js index d1bfdb856..ebfcb0e84 100644 --- a/js/ui/userMenu.js +++ b/js/ui/userMenu.js @@ -752,7 +752,7 @@ const UserMenuButton = new Lang.Class({ item = new PopupMenu.PopupSeparatorMenuItem(); this.menu.addMenuItem(item); - item = new PopupMenu.PopupMenuItem(_("System Settings")); + item = new PopupMenu.PopupMenuItem(_("Settings")); item.connect('activate', Lang.bind(this, this._onPreferencesActivate)); this.menu.addMenuItem(item); this._systemSettings = item;